Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
671	Slide 1 What is Data Science? { Add to Reading List Source URL: www.becomingadatascientist.com Language: English - Date: 2014-11-19 22:44:24 Formal sciences Database management systems Database theory Machine learning Data analysis Data mining Big data Epilepsy Apache Hadoop Data management Technology Computing
672	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
673	The Big Data Revolution: What Does it Mean For Research Add to Reading List Source URL: sites.nationalacademies.org Language: English - Date: 2015-01-27 17:06:43 Science Formal sciences Database management systems Identity management Social issues Internet privacy Big data Information privacy Data analysis Technology Privacy Ethics
674	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming
675	The Role of Post-Production Formal Features in the Prediction of Presence Kimberly Neuendorf, Paul Skalski, James Denny, Rachel Campbell and Matthew Egizii Abstract The concept of presence has been included in numerous s Add to Reading List Source URL: astro.temple.edu Language: English - Date: 2013-03-10 15:59:53 Presence Telecommunications Ethology Extraversion and introversion Humor Need for cognition Social presence theory Scale Causality Mind Science Personality traits
676	Regular Expressions for Languages over Infinite Alphabets (Extended abstract) Michael Kaminski1 and Tony Tan2 1 Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Applied mathematics Computer science Regular language Symbol Alphabet Ω-automaton Formal languages Automata theory Mathematics
677	SemEval-2014 Task 6: Supervised Semantic Parsing of Robotic Spatial Commands Kais Dukes School of Computing, University of Leeds Leeds LS2 9JT, United Kingdom Add to Reading List Source URL: www.kaisdukes.com Language: English Formal languages Compiler construction Corpus linguistics Semantics Parsing Treebank Natural language processing SemEval SYNTAX Linguistics Computational linguistics Science
678	Plans and Purposes: How Videogame Goals Shape Player Behaviour Add to Reading List Source URL: jonassmith.dk Language: English - Date: 2007-01-01 15:45:16 Human behavior Artificial intelligence Economics Game theory Science Game Combinatorial game theory Video game Board game Leisure Formal sciences Game design
679	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
680	TECHNICAL REPORT R-372 April 2013 Transportability across studies: A formal approach Judea Pearl and Elias Bareinboim∗ Add to Reading List Source URL: ftp.cs.ucla.edu Language: English - Date: 2013-04-12 16:17:24 Conditionals Philosophy of science Variable Independence Science Logic Mutual information Instrumental variable Mathematics Information theory Causality

UPDATE